翻訳と辞書 Words near each other ・ Spamd (disambiguation) ・ Spamdexing ・ SPAMfighter ・ Spamgourmet ・ Spamigation ・ Spamming ・ Spamount ・ Spamount railway station ・ Spamtrap ・ Spamusement! ・ Spamvertising ・ Spamware ・ Span ・ Span (architecture) ・ Span (band) ・ Span (category theory) ・ Span (programming language) ・ Span (unit) ・ Span and div ・ Span bolster ・ Span Developments ・ SPAN Infotech ・ Span loop ・ SPAN magazine ・ Span of control ・ Span's Cultural Gallery ・ Span-America Medical Systems ・ SPANA (Society for the Protection of Animals Abroad) ・ Spanair ・ Spanair destinations Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Span (category theory) ： ウィキペディア英語版 Span (category theory) In category theory, a span, roof or correspondence is a generalization of the notion of relation between two objects of a category. When the category has all pullbacks (and satisfies a small number of other conditions), spans can be considered as morphisms in a category of fractions. == Formal definition == A span is a diagram of type $\backslash Lambda\; =\; (-1\; \backslash leftarrow\; 0\; \backslash rightarrow\; +1),$ i.e., a diagram of the form $Y\; \backslash leftarrow\; X\; \backslash rightarrow\; Z$. That is, let Λ be the category (-1 ← 0 → +1). Then a span in a category C is a functor S:Λ → C. This means that a span consists of three objects X, Y and Z of C and morphisms f:X → Y and g:X → Z: it is two maps with common ''domain''. The colimit of a span is a pushout. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Span (category theory)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.